Changing the heights of automorphism towers by forcing with Souslin trees over L
نویسندگان
چکیده
We prove that there are groups in the constructible universe whose automorphism towers are highly malleable by forcing. This is a consequence of the fact that, under a suitable diamond hypothesis, there are sufficiently many highly rigid non-isomorphic Souslin trees whose isomorphism relation can be precisely controlled by forcing.
منابع مشابه
Iteratively Changing the Heights of Automorphism Towers
We extend the results of Hamkins and Thomas concerning the malleability of automorphism tower heights of groups by forcing. We show that any reasonable sequence of ordinals can be realized as the automorphism tower heights of a certain group in consecutive forcing extensions or ground models, as desired. For example, it is possible to increase the height of the automorphism tower by passing to ...
متن کامل2 2 Fe b 20 06 Degrees of Rigidity for Souslin Trees ∗ Gunter
We investigate various strong notions of rigidity for Souslin trees, separating them under ♦ into a hierarchy. Applying our methods to the automorphism tower problem in group theory, we show under ♦ that there is a group whose automorphism tower is highly malleable by forcing.
متن کاملSouslin Trees and Degrees of Constructibility
This thesis investigates possible initial segments of the degrees of constructibility. Specifically, we completely characterize the structure of degrees in generic extensions of the constructible universe L via forcing with Souslin trees. Then we use this characterization to realize any constructible dual algebraic lattice as a possible initial segment of the degrees of constructibility. In a s...
متن کاملSome Problems and Techniques in Set-theoretic Topology
I survey some problems and techniques that have interested me over the years, e.g. normality vs. collectionwise normality, reflection, preservation by forcing, forcing with Souslin trees, and Lindelöf problems.
متن کاملChanging the Heights of Automorphism Towers
If G is a centreless group, then τ(G) denotes the height of the automorphism tower of G. We prove that it is consistent that for every cardinal λ and every ordinal α < λ, there exists a centreless group G such that (a) τ(G) = α; and (b) if β is any ordinal such that 1 ≤ β < λ, then there exists a notion of forcing P, which preserves cofinalities and cardinalities, such that τ(G) = β in the corr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 73 شماره
صفحات -
تاریخ انتشار 2008